161. Introduction to automata theory, Languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Machine theory,Formal languages,، Computational complexity
رده :
QA
267
.
H56
162. Introduction to automata theory,language,& computation
پدیدآورنده : HOPCROFT,JOHN E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MACHINE THEORY , FORMAL LANGUAGES , COMPUTATIONAL COMPLEXIT
رده :
QA
267
.
H56
163. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2001
164. Introduction to automata theory, languages, and computation /
پدیدآورنده : John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
H56
2007
165. Introduction to automata theory: languages, and computation
پدیدآورنده : / John E. Hopcroft, Jeffrey D. Ullman
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
511
.
3
H791I
1979
166. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2003
167. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E
موضوع : ، Machine theory,، Formal languages,، Computational complexity
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
168. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
169. Introduction to automata theory, languages, and computation
پدیدآورنده : / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
170. Introduction to automata theory, languages , and computation
پدیدآورنده : / E.John,Hopcroft...
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory,formal languages,computational complexity
رده :
QA267
.
H56
2001
171. Introduction to automata theory, languages, and computation ]electronic resource[
پدیدآورنده : Hopcroft, John E.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
EBL
197
172. Introduction to languages, machines and logic
پدیدآورنده : / Alan P. Parkes
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
P37
2002
173. Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
پدیدآورنده : Parkes, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
2002
174. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
175. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبان‌های صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
176. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
177. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبان‌های صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
178. Language and automata theory and applications
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
179. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
180. Languages and machines :
پدیدآورنده : Thomas A. Sudkamp
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
